es{-}info(${\it es}$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$es{-}kind(${\it es}$; $e$)$,\,$es{-}state{-}when(${\it es}$;$e$)$,\,$es{-}val(${\it es}$; $e$)$\rangle$